Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
551	International Journal of Foundations of Computer Science c World Scientific Publishing Company MONA Implementation Secrets Anders Møller & Michael I. Schwartzbach Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:07:43 Model theory Automata theory Model checking Models of computation Binary decision diagram Boolean algebra First-order logic Finite-state machine CPU cache Mathematical logic Logic Mathematics
552	Mona & Fido: The Logic-Automaton Connection in Practice Nils Klarlund AT&T Labs{Research Florham Park, NJ Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:34 Boolean algebra Model checking Mathematics Formal methods Binary decision diagram Models of computation Finite-state machine Tree automaton Computability Automata theory Theoretical computer science Diagrams
553	October 3, [removed]:38 WSPC/INSTRUCTION FILE Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-10-03 15:38:17 Formal languages Computer science Theory of computation Ω-automaton Omega language Büchi automaton Determinacy Symbol Regular language Automata theory Theoretical computer science Mathematics
554	Decidability Results on the Existence of Lookahead Delegators for NFA Christof Löding and Stefan Repke Lehrstuhl für Informatik 7, RWTH Aachen, Aachen, Germany Abstract Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-02-07 10:22:52 Complexity classes Applied mathematics Nondeterministic finite automaton Deterministic finite automaton Lookahead PSPACE-complete NP Theoretical computer science Automata theory Models of computation
555	Toward a Structure Theory of Regular Infinitary Trace Languages? Namit Chaturvedi?? RWTH Aachen University, Lehrstuhl f¨ ur Informatik 7, D[removed]Aachen [removed] Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-04-16 12:46:55 Muller automaton Mathematics Representation theory of finite groups Mathematical analysis Remarkable cardinal Automata theory Ω-automaton Symbol
556	Infinite games and automata theory ¨ Christof Loding RWTH Aachen, Germany Spring School 2009 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:55 Mathematics Ω-automaton Automata theory Sequence Finite-state machine
557	HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-25 18:43:01 Markov processes Models of computation Markov models Differential equations Petri net Probabilistic automaton Markov chain Hybrid automaton Random variable Statistics Probability and statistics Automata theory
558	Microsoft Word - 03-Lexical-Analysis.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 16:58:22 Computing Nondeterministic finite automaton Lexical analysis Powerset construction Deterministic finite automaton Regular expression Finite-state machine Formal language Regular language Automata theory Programming language implementation Theoretical computer science
559	Games and Automata for Verification ¨ Christof Loding RWTH Aachen, Germany 2009 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:52 Automata theory Tree Linear temporal logic Temporal logic Model checking
560	Strategy Machines and their Complexity (with addendum) Marcus Gelderie? RWTH Aachen, Lehrstuhl f¨ ur Informatik 7, Logic and Theory of Discrete Systems, Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-08-06 10:19:51 Philosophy of mathematics Symbol Suslin representation Large cardinals Numbers Mathematics

UPDATE